W. Roggenbach: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Techniques for modelling and verifying railway interlockings

James, Phillip, Moller, Faron, Nguyen, Hoang Nga, Roggenbach, Markus, Schneider, Steve, Treharne, Helen

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 1.67 MB

english, 2014

2

[IEEE 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Birmingham, United Kingdom (2016.8.23-2016.8.25)] 2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT) - Towards integrated simulation and formal verification of rail yard designs - an experience report based on the UK East Coast Main Line

Chen, Lei, James, Phillip, Kirkwood, David, Nguyen, Hoang Nga, Nicholson, Gemma L, Roggenbach, Markus

Year:

2016

Language:

english

File:

PDF, 1.18 MB

english, 2016

3

Detection of app collusion potential using logic programming

Blascoa, Jorge, Chen, Thomas M., Muttik, Igor, Roggenbach, Markus

Journal:

Journal of Network and Computer Applications

Year:

2017

Language:

english

File:

PDF, 2.62 MB

english, 2017

4

Specifying with syntactic theory functors

Haveraaen, Magne, Roggenbach, Markus

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 556 KB

2020

5

Peripheral serotonergic markers in acutely suicidal patients. 1. Comparison of serotonergic platelet measures between suicidal individuals, nonsuicidal patients with major depression and healthy subjects

J. Roggenbach, B. Müller-Oerlinghausen, L. Franke, R. Uebelhack, S. Blank, B. Ahrens

Journal:

Journal of Neural Transmission

Year:

2007

Language:

english

File:

PDF, 112 KB

english, 2007

6

Pädagogische Beziehungen im Zeitalter von Facebook

Alfert, Nicole, Roggenbach, Viola

Journal:

Soziale Passagen

Year:

2012

Language:

german

File:

PDF, 703 KB

german, 2012

7

On modelling and verifying railway interlockings: Tracking train lengths

James, Phillip, Moller, Faron, Nga Nguyen, Hoang, Roggenbach, Markus, Schneider, Steve, Treharne, Helen

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.08 MB

english, 2014

8

ABNORMAL ALPHA1-LIPOPROTEIN WITH IMPAIRED BINDING CAPACITY FOR LIPID

Rosenstiel, K., Paar, D., Brittinger, G., Roggenbach, H.J., Augener, W.

Journal:

Year:

1971

Language:

english

File:

PDF, 167 KB

english, 1971

9

Therapierefraktäres Barotrauma der Lunge mit schweren zentralnervösen Komplikationen

Tegenthoff, M., Widdig, W., Faig, J., Roggenbach*, H. J.

Journal:

Aktuelle Neurologie

Year:

1992

Language:

german

File:

PDF, 191 KB

german, 1992

10

Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans

James, Phillip, Roggenbach, Markus

Journal:

Mathematics in Computer Science

Year:

2014

Language:

english

File:

PDF, 1009 KB

english, 2014

11

Cardiac and hemodynamic consequences during capnoperitoneum and steep Trendelenburg positioning: lessons learned from robot-assisted laparoscopic prostatectomy

Rosendal, Christian, Markin, Sergei, Hien, Maximilian D., Motsch, Johann, Roggenbach, Jens

Journal:

Journal of Clinical Anesthesia

Year:

2014

Language:

english

File:

PDF, 265 KB

english, 2014

12

Incidence of perioperative sleep-disordered breathing in patients undergoing major surgery: a prospective cohort study

Jens Roggenbach,Patrick Saur,Stefan Hofer,Thomas Bruckner…

Journal:

Patient Safety in Surgery

Year:

2014

Language:

english

File:

PDF, 630 KB

english, 2014

13

Verification of the European Rail Traffic Management System in Real-Time Maude

Berger, Ulrich, James, Phillip, Lawrence, Andrew, Roggenbach, Markus, Seisenberger, Monika

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 2.04 MB

english, 2017

14

Effect of papaverine on the frequency—force relationship in guinea-pig left atria

Dietrich Reinhardt, Werner Roggenbach, Ulrich Schmidt, Hans-Joachim Schümann

Journal:

European Journal of Pharmacology

Year:

1977

Language:

english

File:

PDF, 868 KB

english, 1977

15

Sleep-disordered breathing is a risk factor for delirium after cardiac surgery: a prospective cohort study

Roggenbach, Jens, Klamann, Marvin, von Haken, Rebecca, Bruckner, Thomas, Karck, Matthias, Hofer, Stefan

Journal:

Critical Care (BioMed Central)

Year:

2014

Language:

english

File:

PDF, 903 KB

english, 2014

16

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - A New CSP Operator for Optional Parallelism

Gruner, Stefan, Kourie, Derrick G., Roggenbach, Markus, Strauss, Tinus, Watson, Bruce W.

Year:

2008

Language:

english

File:

PDF, 187 KB

english, 2008

17

Serotonergic platelet markers of suicidal behavior—do they really exist?

B. Müller-Oerlinghausen, J. Roggenbach, L. Franke

Journal:

Journal of Affective Disorders

Year:

2004

Language:

english

File:

PDF, 160 KB

english, 2004

18

[IEEE 2018 International Conference on Intelligent Rail Transportation (ICIRT) - Singapore (2018.12.12-2018.12.14)] 2018 International Conference on Intelligent Rail Transportation (ICIRT) - Formal Methods for Industrial Interlocking Verification

Chadwick, Simon, James, Phillip, Roggenbach, Markus, Wetner, Tom

Year:

2018

File:

PDF, 6 KB

2018

19

CSP-CASL—A new integration of process algebra and algebraic specification

Markus Roggenbach

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 504 KB

english, 2006

20

A broad-spectrum antiviral molecule, QL47, selectively inhibits eukaryotic translation

de Wispelaere, Mélissanne, Carocci, Margot, Burri, Dominique J, Neidermyer, William J., Olson, Calla M., Roggenbach, Imme, Liang, Yanke, Wang, Jinhua, Whelan, Sean P. J., Gray, Nathanael S., Yang, Pri

Journal:

Journal of Biological Chemistry

Year:

2019

File:

PDF, 2.76 MB

2019

21

Postoperatives Nierenversagen

J. Roggenbach, C. Morath

Journal:

Year:

2009

Language:

german

File:

PDF, 429 KB

german, 2009

22

Influence of papaverine and isoprenaline on contractility and cyclic AMP level of left guinea-pig atria at different rates of beat

D. Reinhardt, W. Roggenbach, -E. O. Brodde, H. J. Schümann

Journal:

Naunyn-Schmiedeberg's Archives of Pharmacology

Year:

1977

Language:

english

File:

PDF, 635 KB

english, 1977

23

Association of sleep disordered breathing with clinical trajectories in patients undergoing cardiac surgery

J Roggenbach,B Tan,E Von der Leyen,A Weymann,M Karck,E Martin…

Journal:

Critical Care (BioMed Central)

Year:

2013

Language:

english

File:

PDF, 4.94 MB

english, 2013

24

Witterungsbeständige Kunststoffe und Textilien im Automobilbau. Korrelation zwischen Frei- und Gerätebewitterung — Teil II

Dr.-Ing. T. Lampe, Dr. P. Schwarzer, Dipl.-Ing. M. Ackermann, Dr. H.-G. Kaiser, W. Roggenbach

Journal:

Materialwissenschaft und Werkstofftechnik

Year:

1997

Language:

german

File:

PDF, 1.05 MB

german, 1997

25

Central extracorporeal life support with left ventricular decompression for the treatment of refractory cardiogenic shock and lung failure

Weymann, Alexander, Schmack, Bastian, Sabashnikov, Anton, Bowles, Christopher T, Raake, Philipp, Arif, Rawa, Verch, Markus, Tochtermann, Ursula, Roggenbach, Jens, Popov, Aron, Simon, Andre, Karck, Mat

Journal:

Journal of Cardiothoracic Surgery

Year:

2014

Language:

english

File:

PDF, 594 KB

english, 2014

26

[IEEE 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI) - Iowa City, IA, USA (2020.4.3-2020.4.7)] 2020 IEEE 17th International Symposium on Biomedical Imaging (ISBI) - Optimizing Particle Detection by Colocalization Analysis in Multi-Channel Fluorescence Microscopy Images

Ritter, C., Newrly, A., Schifferdecker, S., Roggenbach, I., Muller, B., Rohr, K.

Year:

2020

File:

PDF, 1024 KB

2020

27

Towards a unified view of bisimulation: a comparative study

Markus Roggenbach, Mila Majster-Cederbaum

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 408 KB

english, 2000

28

Propofol-Infusionssyndrom

J. Motsch, J. Roggenbach

Journal:

Der Anaesthesist

Year:

2004

Language:

german

File:

PDF, 367 KB

german, 2004

29

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Tools for CSP

Roggenbach, Markus

Year:

2008

Language:

english

File:

PDF, 238 KB

english, 2008

30

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 3629 || Discrete Lawvere Theories

Fiadeiro, José Luiz, Harman, Neil, Roggenbach, Markus, Rutten, Jan

Year:

2005

Language:

english

File:

PDF, 414 KB

english, 2005

31

Ambulante Anästhesie bei Patienten mit obstruktivem Schlafapnoesyndrom

Dr. P. Saur, J. Roggenbach, S. Meinl…

Journal:

Somnologie - Schlafforschung und Schlafmedizin

Year:

2012

Language:

german

File:

PDF, 840 KB

german, 2012

32

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on - SPLC '14 - On the use of test cases in model-based software product line development

Knapp, Alexander, Roggenbach, Markus, Schlingloff, Bernd-Holger

Year:

2014

Language:

english

File:

PDF, 670 KB

english, 2014

33

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 3629 || Algebra ∩ Coalgebra = Presheaves

Fiadeiro, José Luiz, Harman, Neil, Roggenbach, Markus, Rutten, Jan

Year:

2005

Language:

english

File:

PDF, 466 KB

english, 2005

34

CoCasl at Work — Modelling Process Algebra

Till Mossakowski, Markus Roggenbach, Lutz Schröder

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 174 KB

english, 2003

35

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Speci?cation-Based Testing for Software Product Lines

Kahsai, Temesghen, Roggenbach, Markus, Schlingloff, Bernd-Holger

Year:

2008

Language:

english

File:

PDF, 526 KB

english, 2008

36

Preface

Markus Roggenbach

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 377 KB

english, 2012

37

Structural Basis of Nanobodies Targeting the Prototype Norovirus

Ruoff, Kerstin, Kilic, Turgay, Devant, Jessica, Koromyslova, Anna, Ringel, Alessa, Hempelmann, Alexander, Geiss, Celina, Graf, Juliane, Haas, Michelle, Roggenbach, Imme, Hansman, Grant

Journal:

Journal of Virology

Year:

2019

Language:

english

File:

PDF, 3.48 MB

english, 2019

38

AndrÃ© Platzer: Logical foundations of cyber-physical systems

Knapp, Alexander, Roggenbach, Markus

Journal:

Formal Aspects of Computing

Year:

2020

File:

PDF, 158 KB

2020

39

Transition systems from event structures revisited

Mila Majster-Cederbaum, Markus Roggenbach

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 580 KB

english, 1998

40

Eine sensible Komplementbindungsreaktion (KBR) zum Nachweis des Au/SH-Antigens und ihr Vergleich mit dem Agargeltest und der Gegenstromelektrophorese

J. -F. Kapp, P. G. Höher, E. Kuwert, O. Thraenhart, D. Paar, W. Hengstebeck, H. -J. Roggenbach

Journal:

Medical Microbiology and Immunology

Year:

1971

File:

PDF, 810 KB

1971

41

Resuscitation Guidelines 2005: does experienced nursing staff need training and how effective is it?

Michael R. Preusch, Florian Bea, Jens Roggenbach, Hugo A. Katus, Jana Jünger, Christoph Nikendei

Journal:

The American Journal of Emergency Medicine

Year:

2010

Language:

english

File:

PDF, 132 KB

english, 2010

42

Concretism in Biological Suicide Research - Are We Eating the Menu Instead of the Meal? - Some Thoughts on Present Research Strategies -

Müller-Oerlinghausen, B., Roggenbach, J.

Journal:

Pharmacopsychiatry

Year:

2002

Language:

english

File:

PDF, 74 KB

english, 2002

43

CSP-CASL-Prover: A Generic Tool for Process and Data Refinement

Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 342 KB

english, 2009

44

Human Norovirus Inhibition through Combination Drug Treatment

Ringel, Alessa, Kilic, Turgay, Devant, Jessica, Ruoff, Kerstin, Koromyslova, Anna, Hempelmann, Alexander, Haas, Michelle, Geiß, Celina, Roggenbach, Imme, Graf, Juliane, Hansman, Grant

Journal:

Biophysical Journal

Year:

2018

Language:

english

File:

PDF, 46 KB

english, 2018

45

Tako-Tsubo-Kardiomyopathie

J. Roggenbach, R. Roggenbach, P. Ehlermann

Journal:

Der Anaesthesist

Year:

2010

Language:

german

File:

PDF, 537 KB

german, 2010

46

The Stable Revivals Model in CSP-Prover

D. Gift Samuel, Markus Roggenbach, Yoshinao Isobe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 356 KB

english, 2009

47

Atemwegsmanagement bei der Ein-Lungen-Ventilation

J. Motsch, K. Wiedemann, J. Roggenbach

Journal:

Der Anaesthesist

Year:

2005

Language:

german

File:

PDF, 555 KB

german, 2005

48

Clinical Impact of Perioperative Myocardial Infarction After Pancreatic Surgery

Dovzhanskiy, Dmitriy I., Hackert, Thilo, Krumm, Jens, Hinz, Ulf, Roggenbach, Jens, Hofer, Stefan, Büchler, Markus W., Werner, Jens

Journal:

Journal of Gastrointestinal Surgery

Year:

2014

Language:

english

File:

PDF, 176 KB

english, 2014

49

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

Bendisposto, Jens, Leuschel, Michael, Roggenbach, Markus

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 453 KB

english, 2014

50

Der Konsumptionstest bei Lebererkrankungen *

Roggenbach, H., Steffen, C., Brittinger, G., Lillemeier, F., Ewers, H.

Journal:

DMW - Deutsche Medizinische Wochenschrift

Year:

1970

Language:

german

File:

PDF, 62 KB

german, 1970

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски